Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain
نویسنده
چکیده
The cognitive processes modeled at the metacognitive level of the layered reference mode of the brain (LRMB) encompass those of object identification, abstraction, concept establishment, search, categorization, comparison, memorization, qualification, quantification, and selection. It is recognized that all higher layer cognitive processes of the brain rely on the metacognitive processes. Each of this set of fundamental cognitive processes is formally described by a mathematical model and a process model. Real-time process algebra (RTPA) is adopted as a denotational mathematical means for rigorous modeling and describing the metacognitive processes. All cognitive models and processes are explained on the basis of the object-attribute-relation (OAR) model for internal information and knowledge representation and manipulation.
منابع مشابه
Meta-Cognitive processes of the brain
The cognitive processes modeled at the metacognitive level of the layered reference mode of the brain (LRMB) encompass those of object identification, abstraction, concept establishment, search, categorization, comparison, memorization, qualification, quantification, and selection. It is recognized that all higher layer cognitive processes of the brain rely on the metacognitive processes. Each ...
متن کاملA Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA)
87 Abstract— The Real-time process algebra (RTPA) is a set of new mathematic notations for formally describing system architecture, and static and dynamic behaviors. It is recognized that the specification of software behaviors is a threedimensional problem known as: (1) mathematic operation, (2) event/process timing, (3) memory manipulation. RTPA is designed as a coherent, expressive and easy-...
متن کاملDesign and Implementation of an Autonomic Code Generator Based on RTPA
Real-Time Process Algebra (RTPA) is a denotational mathematics for the algebraic modeling and manipulations of software system architectures and behaviors by the Unified Data Models (UDMs) and Unified Process Models (UPMs). On the basis of the RTPA specification and refinement methodologies, automatic software code generation is enabled toward improving software development productivity. This p...
متن کاملThe Real-Time Process Algebra (RTPA)
The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recognized that the specification of software behaviors is a three-dimensional problem known as: (i) mathematical operations, (ii) event/process timing, and (iii) memory manipulations. Conventional formal methods in software engineerin...
متن کاملP 35: The Mediating Role of Meta-Cognitive Beliefs on the Cognitive-Executive Functions of Brain, Sleep Disorders, Optic Neuritis in Multiple Sclerosis Patients
Introduction: Multiple sclerosis (MS) is a chronic, autoimmune, and inflammatory nervous system disease. It leads to the loss of myelin in the white matter of brain, spinal cord and optic nerves. As a chronic disease with sudden and unpredictable Side effects and complications of the disease will lead to disability and dependency in life. Causes neurologic symptoms and sig. The purpose of the p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJCINI
دوره 2 شماره
صفحات -
تاریخ انتشار 2008